Shortest Disjoint S-Paths Via Weighted Linear Matroid Parity
نویسنده
چکیده
Mader’s disjoint S-paths problem unifies two generalizations of bipartite matching: (a) nonbipartite matching and (b) disjoint s–t paths. Lovász (1980, 1981) first proposed an efficient algorithm for this problem via a reduction to matroid matching, which also unifies two generalizations of bipartite matching: (a) non-bipartite matching and (c) matroid intersection. While the weighted versions of the problems (a)–(c) in which we aim to minimize the total weight of a designated-size feasible solution are known to be solvable in polynomial time, the tractability of such a weighted version of Mader’s problem has been open for a long while. In this paper, we present the first solution to this problem with the aid of a linear representation for Lovász’ reduction (which leads to a reduction to linear matroid parity) due to Schrijver (2003) and polynomial-time algorithms for a weighted version of linear matroid parity announced by Iwata (2013) and by Pap (2013). Specifically, we give a reduction of the weighted version of Mader’s problem to weighted linear matroid parity, which leads to an O(n5)-time algorithm for the former problem, where n denotes the number of vertices in the input graph. Our reduction technique is also applicable to a further generalized framework, packing non-zero A-paths in group-labeled graphs, introduced by Chudnovsky, Geelen, Gerards, Goddyn, Lohman, and Seymour (2006). The extension leads to the tractability of a broader class of weighted problems not restricted to Mader’s setting. 1998 ACM Subject Classification F.2.2 Nonnumerical Algorithms and Problems, G.2.1 Approximation, G.2.2 Graph Theory
منابع مشابه
Packing A-paths in Group-Labelled Graphs via Linear Matroid Parity
Mader’s disjoint S-paths problem is a common generalization of matching and Menger’s disjoint paths problems. Lovász (1980) suggested a polynomial-time algorithm for this problem through a reduction to matroid matching. A more direct reduction to the linear matroid parity problem was given later by Schrijver (2003), which leads to faster algorithms. As a generalization of Mader’s problem, Chudn...
متن کاملA Algebraic Algorithms for Linear Matroid Parity Problems
We present fast and simple algebraic algorithms for the linear matroid parity problem and its applications. For the linear matroid parity problem, we obtain a simple randomized algorithm with running time O(mrω−1) where m and r are the number of columns and the number of rows and ω ≈ 2.3727 is the matrix multiplication exponent. This improves the O(mrω)-time algorithm by Gabow and Stallmann, an...
متن کاملMATHEMATICAL ENGINEERING TECHNICAL REPORTS A Weighted Independent Even Factor Algorithm
An even factor in a digraph is a vertex-disjoint collection of directed cycles of even length and directed paths. An even factor is called independent if it satisfies a certain matroid constraint. The problem of finding an independent even factor of maximum size is a common generalization of the nonbipartite matching and matroid intersection problems. In this paper, we present a primal-dual alg...
متن کاملA weighted independent even factor algorithm
An even factor in a digraph is a vertex-disjoint collection of directed cycles of even length and directed paths. An even factor is called independent if it satisfies a certain matroid constraint. The problem of finding an independent even factor of maximum size is a common generalization of the nonbipartite matching and matroid intersection problems. In this paper, we present a primal-dual alg...
متن کامل